Κράισελ, Γκέοργκ

(Georg Kreisel, Γκρατς 1923 –). Αυστριακός μαθηματικός. Αποφοίτησε το 1944 από το Trinity College του Κέιμπριτζ, όπου σπούδασε μαθηματικά με καθηγητή τον Βιτγκενστάιν. Μετά από διετή θητεία στο ναυτικό επέστρεψε στο Κέιμπριτζ όπου επιδόθηκε σε έρευνες αναφορικά με τη μαθηματική λογική. Κατά τη διάρκεια του διδακτορικού του είχε την ευκαιρία να βρεθεί δίπλα στον Γκεντέλ, στο Ινστιτούτο Ανώτερων Μελετών. Ξεκίνησε ακαδημαϊκή σταδιοδρομία το 1949 στο πανεπιστήμιο του Ρέντινγκ και το 1958 δημοσίευσε μια ιδιαίτερα ενδιαφέρουσα εργασία του, Η μαθηματική σημασία της απόδειξης συνακολουθίας. Από το 1962 έως το 1985 διετέλεσε καθηγητής μαθηματικών στο πανεπιστήμιο Στάνφορντ των ΗΠΑ. Ο Κ. συνέβαλε αποφασιστικά στην ανάπτυξη της θεωρίας αποδείξεων και στα μετα-μαθηματικά της εξαγωγής συμπερασμάτων. Για την προσφορά του στα μαθηματικά το 1962 εξελέγη μέλος της Βασιλικής Εταιρείας της Μεγάλης Βρετανίας.